aiT for MPC755 (Simple Memory Model) aiT WCET Analyzers statically compute tight bounds for the worst-case execution time (WCET) of tasks in real-time systems. They directly analyze binary executables and take the intrin

Source URL: www.absint.com

• Compilers
• Programming language implementation
• Real-time computing
• Worst-case execution time
• CodeWarrior
• GNU Compiler Collection
• C
• Programming tool
• Porting
• Software
• Computing
• Computer programming

A Structure-Mapping Model of Raven’s Progressive Matrices Andrew Lovett () Kenneth Forbus () Jeffrey Usher () Qualitative Reasoning Group, N

Source URL: spatiallearning.org

• Cognitive science
• Semantics
• Image processing
• Educational psychology
• Artificial intelligence
• Matrix
• Working memory
• Analogy
• Structure mapping engine
• Mind
• Cognition
• Philosophy of mind

The COGENT Tutorial 22nd Annual Conference of the Cognitive Science Society August 12th , 2000 Philadelphia, USA

Source URL: cogent.psyc.bbk.ac.uk

• Ethology
• Memory
• Recall
• Serial position effect
• ACT-R
• Scientific modelling
• Model
• Storage
• Mind
• Mental processes
• Cognitive science

Atomicity and Visibility in Tiny Embedded Systems John Regehr Nathan Cooprider David Gay

Source URL: www.barnowl.org

• Concurrency control
• Computer memory
• Compiler construction
• Programming language implementation
• Transaction processing
• Memory barrier
• Volatile variable
• TinyOS
• Memory model
• Computing
• Software engineering
• Computer programming

Cell Reports Report Modulation of cAMP and Ras Signaling Pathways Improves Distinct Behavioral Deficits in a Zebrafish Model of Neurofibromatosis Type 1

Source URL: www.med.upenn.edu

• Mental processes
• Cognitive science
• Neurofibroma
• Genodermatoses
• Neurofibromin 1
• NF1
• Memory
• GTPase
• Working memory
• Mind
• Biology
• Neuroscience

Adventures with LLVM in a magical land where pointers are not integers David Chisnall Approved for public release; distribution is unlimited. This research is sponsored by the

Source URL: llvm.org

• Data types
• Primitive types
• Pointer
• C
• LLVM
• 64-bit
• Type safety
• Intel Memory Model
• Tagged pointer
• Computing
• Software engineering
• Computer programming

Developmental Science 16:), pp 476–483 DOI: descSHORT REPORT Cultural differences in the development of processing speed

Source URL: www.psy.cuhk.edu.hk

• Intelligence
• Model selection
• Statistical methods
• Mental chronometry
• Akaike information criterion
• Intelligence quotient
• G factor
• Structural equation modeling
• Working memory
• Statistics
• Psychometrics
• Intelligence tests

Java Memory Model прагматика модели Алексей Шипилёв , @shipilev The following is intended to outline our general product direction. It

Source URL: shipilev.net

Petascale Software Challenges William Gropp www.cs.illinois.edu/~wgropp Petascale Software Challenges • 

Source URL: gladiator.ncsa.illinois.edu

• Petascale
• Supercomputers
• Parallel computing
• Scalability
• Memory hierarchy
• Parallel programming model
• Computing
• Concurrent computing
• Programming paradigms

Modeling the reminiscence bump in autobiographical memory with the Memory Chain Model S. M. J. Janssen1 , A. G. Chessa1 , & J. M. J. Murre 1,2 1 University of Amsterdam, The Netherlands

Source URL: www.neuromod.org

• Mental processes
• Recall
• Reminiscence bump
• Flashbulb memory
• Autobiographical memory
• Encoding
• Episodic memory
• Long-term memory
• Working memory
• Mind
• Memory
• Cognitive science